O Transgene Tg(Trp53)1Srn MGI:5693272 transgene http://identifiers.org/mgd/MGI:5693272 transgene insertion 1, Manuel Serrano